Type de contenu : Texte
Type de médiation : sans médiation
Titre(s) : La logique pas à pas [Texte imprimé] / Jacques Duparc
Auteur(s) : Duparc, Jacques (1962-....)
Editeur, producteur : Lausanne : Presses polytechniques et universitaires romandes, cop. 2015
   (impr. en Espagne)
Description matérielle : 1 vol. (570 p.) : ill. en coul. ; 24 cm
ISBN : 978-2-88915-126-4
EAN : 9782889151264
Classification décimale Dewey : 511.3 23
Note(s) : Bibliogr. p. 553-559. Index
  Diff. en France
  La couv. porte en plus : spécialement conçu pour les buses en maths et les manchots de la logique
Résumé ou extrait : Fondée sur les jeux, cette introduction à la logique aborde les logiques propositionnelles, modales, du premier et du second ordre, la récursivité et la correspondance preuves-programme.
Sujet - Nom commun : Logique mathématique
Forme, genre ou caractéristiques physiques : Manuels d'enseignement supérieur
